Applicative Functor
https://viercc.github.io/blog/posts/2020-11-25-faccat.html
https://viercc.github.io/blog/posts/2021-01-01-faccat2.html